Logical Form and Truth-Conditions∗
نویسنده
چکیده
This paper outlines a truth-conditional view of logical form, that is, a view according to which logical form is essentially a matter of truth-conditions. Section 1 provides some preliminary clarifications. Section 2 shows that the main motivation for the view is the fact that fundamental logical relations such as entailment or contradiction can formally be explained only if truth-conditions are formally represented. Sections 3 and 4 articulate the view and dwell on its affinity with a conception of logical form that has been defended in the past. Sections 5-7 draw attention to its impact on three major issues that concern, respectively, the extension of the domain of formal explanation, the semantics of tensed discourse, and the analysis of quantification.
منابع مشابه
مبانی منطقی طراحی سیستم خطمشیگذاری دولتی برای تحقق عدالت حقمدار (براساس نهجالبلاغه)
This article demonstrates a part of findings of a research that has been designed with the intention of determining the characteristics of the desired public policy making system for achieving social justice. To begin with, James P. Sterba's categorization of alternative political perspectives to justice is reviewed and then "truth – oriented" justice is studied. To reach a precise and scholar...
متن کاملطراحیو تبیینسیستم خط مشیگذاری حقمدار برای تحقق عدالت اجتماعی (بر اساس نهجالبلاغه)
This article demonstrates a part of findings of a research that has been developed for designing a public policy making system, based on conception of Alavian truth-oriented justice. According to the first part of this research, a logical system is developed. The system introduces five logical principles and nineteen theorems. These principles and theorems are inferred from Nahjolballagha and...
متن کاملNursing Care and Postmodernism
As a historical era, postmodernism signifies transition from inflexible and logical positivism and entry into a new view to science. Postmodernism offers a number of nursing practice revise that including humanism, conditions, and borderless, multi-voice, view, and multicultural world, changes in meaning of knowledge, and life-long learning. Demographic changes, technological advances, ethnic a...
متن کاملFrom Games to Truth Functions: A Generalization of Giles's Game
Motivated by aspects of reasoning in theories of physics, Robin Giles defined a characterization of infinite valued Lukasiewicz logic in terms of a game that combines Lorenzen-style dialogue rules for logical connectives with a scheme for betting on results of dispersive experiments for evaluating atomic propositions. We analyze this game and provide conditions on payoff functions that allow us...
متن کاملA generalization of the Chen-Wu duality into quantale-valued setting
With the unit interval [0,1] as the truth value table, Chen and Wupresented the concept of possibility computation over dcpos.Indeed, every possibility computation can be considered as a[0,1]-valued Scott open set on a dcpo. The aim of this paper is tostudy Chen-Wu's duality on quantale-valued setting. For clarity,with a commutative unital quantale $L$ as the truth value table, weintroduce a c...
متن کامل